package fr.paris8.iut.info.iddl;

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */


import fr.paris8.iut.info.iddl.IDDLReasoner;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.reasoner.IllegalConfigurationException;
import org.semanticweb.owlapi.reasoner.OWLReasoner;
import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;

/**
 *
 * @author MYAMBITION
 */
public class IDDLReasonerFactory implements OWLReasonerFactory {
    

    public String getReasonerName() {
        return "IDDL reasoner";
    }

    public OWLReasoner createNonBufferingReasoner(OWLOntology owlo) {
        IDDLReasoner reasoner = new IDDLReasoner();
        reasoner.localReasoner.loadOntology(owlo);
        return reasoner;
    }

    public OWLReasoner createReasoner(OWLOntology owlo) {
        IDDLReasoner reasoner = new IDDLReasoner();
        reasoner.localReasoner.loadOntology(owlo);
        return reasoner;
    }

    public OWLReasoner createNonBufferingReasoner(OWLOntology owlo, OWLReasonerConfiguration owlrc) throws IllegalConfigurationException {
        IDDLReasoner reasoner = new IDDLReasoner();
        reasoner.localReasoner.loadOntology(owlo);
        return reasoner;
    }

    public OWLReasoner createReasoner(OWLOntology owlo, OWLReasonerConfiguration owlrc) throws IllegalConfigurationException {
        return new IDDLReasoner();
    }

}
